(Un)decidable Problems about Reachability of Quantum Systems

We study the reachability problem of a quantum system modelled by a quantum automaton. The reachable sets are chosen to be boolean combinations of (closed) subspaces of the state space of the quantum system. Four different reachability properties are considered: eventually reachable, globally reachable, ultimately forever reachable, and infinitely often reachable. The main result of this paper is that all of the four reachability properties are undecidable in general; however, the last three become decidable if the reachable sets are boolean combinations without negation

Quantum Relational Hoare Logic with Expectations

We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pairs of programs, our logic allows us to quantitatively reason about how much certain pre-/postconditions are satisfied that refer to the relationship between the programs inputs/outputs

Genetically engineered cell membrane-coated nanoparticles for antibacterial and immunoregulatory dual-function treatment of ligature-induced periodontitis

Purpose: In order to overcome the problem that conventional pharmacological treatments of periodontitis cannot effectively synergizing antimicrobial and immunomodulation, inspired by the critical role of toll-like receptor 4 (TLR4) in bacterial recognition and immune activation, we demonstrated a combined antibacterial-immunoregulatory strategy based on biomimetic nanoparticles.Methods: Functioned cell membranes and silk fibroin nanoparticles (SNs) loaded with minocycline hydrochloride (Mino) were used to prepare a biomimetic nanoparticle (MSNCs). SNs and MSNCs were characterized by Scanning Electron Microscope, size, zeta potential, dispersion index. At the same time, SNs were characterized by cell counting kit-8 and real-time Polymerase Chain Reaction (RT-PCR). TLR4-expressing cell membranes were characterized by RT-PCR and western blot (WB). Cell membrane coating was characterized by Transmission Electron Microscope (TEM), the Bradford staining and WB. Then, Laser confocal, flow cytometry and agar plate coating were evaluated in vitro with antibacterial effects, RT-PCR was simultaneously evaluated with immunoregulatory effects. Finally, Anti-inflammatory treatment of MSNCs was evaluated in a ligature-induced periodontitis (LIP) mouse model.Results: Successfully prepared cell membranes overexpressing TLR4 and constructed MSNCs. In vitro studies had shown that MSNCs effectively targeted bacteria via TLR4 and acted as molecular decoys to competitively neutralize lipopolysaccharide (LPS) in the microenvironment as well as inhibit inflammatory activation of macrophages. In vivo, MSNCs effectively attenuated periodontal tissue inflammation and alveolar bone loss in a LIP mouse model.Conclusion: MSNCs have good targeted antibacterial and immunoregulatory effects, and provide a new and effective strategy for the treatment of periodontitis and have good potential for application in various types of pathogenic bacterial infections